Destin High School mascot, colors not just by chance