Yep. He spent how much calling the entire US military on alert, deploying carrier groups, Marines, Army, and all to say:
“Oh...Nevermind”
Wonder what that cost?
"It costs about $6.5 million a day to operate a single carrier strike group, which includes five other warships, an attack submarine, an air wing of 80 fighters and helicopters, and a crew of 6,700.""The new[est] carrier [USS Gerald Ford] carries a prohibitive price tag of $13.6 billion, double the cost of the last aircraft carrier. And that does not count the $4.7 billion spent on research and development for the new class of carriers."