9REN Holding S.a.r.l v. Kingdom of Spain, Judgment of the US Court of Appeals for the District of Columbia Circuit