"Uno de los más destacados profesionales": Las sentidas reacciones a la muerte de Javier Miranda