“The last time an aircraft carrier has been used in battle was in World War II.”