20180215 world.us: Former student opens fire at Florida high school; kills 17