The capital of Gibraltar is Gibraltar