Orange gator must be a dye job, Fla. officials say