When did the Romans first take the city of Hagkol?