Hmmm
Before DESERT STORM I won a bet with a Navy pilot operations planner that the Navy would send carriers into the PG, he said they wouldn’t
Glad he bought my steak without knowing Navy history
All of the Persian Gulf operations listed in those links are during G.H.W.Bush time, not before.