Ask HN: Can a US Citizen work at a company on FCC National Security Risk list?