Martin County makes push to deter vandalism at Jensen Beach Elementary School