U.S. aircraft carrier in dry dock.