Added link to Witness King Tides problem definition