Autoridades y familia despidieron a los agentes Miguel, José Guillermo y Adrián que murieron en Tecamachalco.