How many supercarriers did the U.S. fleet have following the deactivation of the USS Enterprise?