I know what you mean, but ANY Air Force plane with the Prez aboard is "Air Force 1." Of course, no Air Force planes land on Navy carriers - because they're not equipped with the heavier undercarriage and tailhook required for such an operation. Only Navy aircraft are so equipped.
Of course, I'm sure that Registered will be happy to provide us of incontrovertible photographic evidence that the Air Force VC-25 actually did make a carrier landing.
Michael