Gibraltar is part of the United Kingdom