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