20180215 world.us: Florida school shooting: 17 killed after former student opens fire