Fixing overcrowding on Weeki Wachee River