[T]he Office of Foreign Assets Control (OFAC)...should designate Rosoboronexport for sanctions and disrupt transactions by U.S. persons with the company...