Yes, you are correct.

I dont know why it's called The Hague though... I mean it's the name of a city, and we dutch people certainly dont call it The Hague. I wonder why they decided to translate just this particular name. (original is Den Haag or s'Gravenhage) (yes, 2 names, + the english one makes it 3) Maybe they did it because the hague is easier for foreigners to pronounce? (with all the international shit there)