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