This editorial is the opinion of The Washington Post's editorial board.