Carriers will need at least $3.08 billion more than Congress has appropriated for these efforts.