Libya: who bombed Tripoli?