Unless, of course some nitpicky research discovers that it was a tradition in the Japanese Imperial Navy to name carriers after the captains, which would have meant the guys were Capt. Red Castle, Capt. Flying Dragon, Capt. Green or Blue Dragon, and Capt. Prefecture.