Gibraltar.
Fortifications of the Port, 1890