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