Enfrentamiento entre marinos y “huachicoleros” deja 3 muertos en Puebla