A Washington Post reporter sues the paper and its top editors, claiming discrimination.