The proposed US defense budget could fund China’s nearly four times over