Republicans propose 7% leaner SEC budget compared to Biden’s era