The Washington Post will stop using “Redskins” as name of team in editorial posts