And South Korea's contributions fluctuated from $1.2 billion in 2016 to $1.7 billion the next year, before dropping to $1.3 billion in 2018 and then hitting $1.5 billion in 2019.