Gibraltar. Ports of the world: Gibraltar; [issued by Sixth Division]. n. p.

Tools