En el incendio de 1737 ardió parte del Arsenal.