Real Decreto de jubilación de Juan de Arana y de la Hidalga