The city of San Pedro