U.S. court orders North Korea to pay $501 million for death of US student