At the time Farouk received his export license for the 33 double eagle it was not realized that the coins had not been officially issued so it was treated like a license for any other double eagle. (And at the 1954 sale of his collection the US government did try to get it back.)