How much time elapsed between high tides?