presidio

noun
  1. 1

    A garrisoned place, especially one that is or was once under Spanish control.

Source: https://en.wiktionary.org/wiki/presidio