Royal Hotel, no Monte Estoril See original record