World War 2: British take Tripoli