FBI agents killed in Florida shooting: what we know – CNN