What happened to Brian Flores regarding the lawsuit against the NFL?
a) He won the lawsuit
b) He lost the lawsuit
c) The lawsuit was dismissed
d) The lawsuit is ongoing