Soweit ich weiss, wurde für Pirates seit jeher wirklich richtige Städtenamen genommen. Ich würde auch eher behaupten, dass Port Royal von Pirates abgekupfert hat als umgekehrt...