Es condecorado con la Orden de la Bandera Roja.