12.5-Foot Alligator Removed from Florida Path Used by Schoolchildren