Was Biden briefed on latest Trump-Miralago development?