After the Iranian Revolution in the 80s, did the fact that Iran possessed American F-14s as its main airfleet influence the Pentagon's decision to phase out the fighter from further production to deny Iran the availability of spare parts?