Yes? Nobody cares that they killed a bunch of Cuban body guards. Taking down a civilian airliner would have been a big deal.