Williamsburg — Ocracoke, distance (km, mile), route on the map, difference in time