Which Koch brother ran for president?

Which Koch brother ran for president? It is well known that the Koch brothers have provided the major source of funding to the Tea Party and want to repeal the Affordable Care Act. In 1980, David Koch ran as the Libertarian Party's vice-presidential candidate in 1980. Let's take a look at the 1980 Libertarian Party platform.