Claustro de San Jerónimo

Its construction dates back to 1759. A few years later, Spanish authorities decided to install there the offices of the Royal Customs.