Esteban Lazo: «Muchas felicidades al Comandante José Ramón Machado Ventura, cubano de profundo patriotismo, entrega a la obra de la Revolución y maestro de generaciones»