the river denominated by the ancient Dutch navigators the Tappan Zee, and where they always prudently shortened sai