WASHINGTON, D.C.—The 2020 Race for the White House came and went on Nov. 3. But did you know there was