de Mosteiro dos Jeronimos, een indrukwekkende kathedraal bij het beroemde klooster