Tides on the West Florida Shelf