I mean technically, because everything the government does is taxpayer funded… but they’d be out there somewhere regardless. The carrier fleets are deployed constantly, just moved around depending on where they want to project force. That’s just part of the standard annual military budget.