9-foot-long gator removed from Hillsborough County pool