“The operating cost for a U.S. aircraft carrier is approximately $10 million per day.”