Yes, except that's the US government and the inventors here are in South Korea. I don't think the US would get away with declaring 'eminent domain' over something invented in a different country. They could choose to simply not honor the patent but that will open a massive can of worms, especially because a lot of this stuff depends on reciprocity: if your government doesn't honor our key patents, why should we do the reverse?