World | Thu Apr 4, 2013 7:43am EDT

Gunmen attack Tripoli police station, release detainees