Judge asks Trump lawyers tough questions at Mar-a-Lago docs hearing