The U.S. Navy’s new $13 billion aircraft carrier