Battle of tripoli harbor