JGC Holdings Corporation (formerly JGC Corporation) v. Kingdom of Spain, Order of the US District Court for the District of Columbia