Shuttered ‘Alligator Alcatraz’ leaves complicated legacy in Florida