Close encounter between gator, bull shark in St. Lucie River