On 5 March 1983, at 0630 EST (ZD +5), what will be the predicted height of tide at Ocracoke, Ocracoke Inlet, NC?