paper cups have been disposed of so far this year in the US.