ABC News forced to pay $15 million to Trump