Otto de la Rocha recibe orden “General José Dolores Estrada” por su trayectoria