N. Korea ordered to pay Warmbier family $500 mil.