Pollution in all its forms killed 9 million people in 2015 and by one measure incurred economic damage of $4.