'JFK' in aircraft carrier form, fighter jets, helicopter; USS John F. Kennedy (CV-67) decommissioning