In the 1830s, what is known today as the "Old Arsenal" was built.
Na década de 1830, foi construído o que hoxe se coñece como "Old Arsenal".