USS Gerald R. Ford, $13 billion