Having a hard time suppressing a chuckle over that.
*****
Yup. I've often thought that the WWII carrier names should've been reserved for the first ship in each new class of carriers.