The Porta Marina entrance to the city of Pompeii