US Navy's $13 billion carrier