St. Lucie County schools bring in extra support for students following MLK Day shooting