‘Sad day for Boulder’: Gunman kills 10 at Colorado supermarket, including police officer, in second US mass shooting in a week