Código rojo en el Puerto de Veracruz: Se registra ataque armado contra la policía

Se activó código rojo en el Puerto de Veracruz tras un ataque armado contra una patrulla de la policía; un elemento resultó lesionado en el enfrentamiento.