The South Korean Presidential Office: Amazon Web Services will invest at least $5 billion in South Korea by 2031