The end of the boardwalk over Lake Thetis