Zemřel americký miliardář David Koch, 11. nejbohatší muž světa