20180216 world.us: Florida gunman had extra ammo at school; fired for 3 minutes