the Pestana Carlton hotel and the ex-hotel Avenida