Is strait of dofuchi the longest strait?