According to John Hudson, a reporter for The Washington Post, the US State Department is discontinuing Times New Roman font after almost 20 years.