USS Ronald Reagan or USS George H.W. Bush?