Igreja de São Martinho e o Hotel Costa na vila de Sintra. See original record