AWS distributes its Wavelength peripheral computing service in South Korea