El Gobierno nombra a Felipe Martínez Martínez, Director General de la Marina Mercante