A court docket says Trump is suing Murdoch, but there's something weird