Biden’s 2025 budget proposal includes $4.7 billion fund for border security