A History of Red Tide events on the West Coast of Florida