dutchman\'s-pipe synonym