Donald Trump warned BBC libel case could be dismissed unless he releases records

A failure by the US president to produce the relevant files by a set deadline could result in sanctions, says a Florida judge.