Arnoldus Montanus (Dutch, 1625–1683), Arx Carolina