Mosteiro dos Jerónimos, em Belém, antes da recuperação do séc. XIX. See original record