No, was not OK with that at the time.
Even though they were vicious Muslim terrorists who had just killed an American citizen and were on their way to freedom in Egypt?