SEATTLE — The lineup has been set for Washington’s March 12 presidential primary. Republicans will choose between ex-President Donald Trump or one of four rivals: former South Carolina Gov. Nikki Haley; Florida Gov. Ron DeSantis; former New Jersey Gov. Chris Christie; or biotech entrepreneur Vivek Ramaswamy. For Democrats, President Joe Biden will appear on the ballot alongside two long-shot rivals: the self-help author Marianne Williamson and U.S. Rep. Dean Phillips of Minnesota. The candidate names were formally submitted by the state Democratic and Republican parties to Secretary of State S…