Did the red flag laws in Colorado help prevent the mass shooting by someone who should’ve had red flags on his record?