US seizes $500,000 in ransom paid to North Korean hackers - official