"She was an amazing woman": Trump first learns from reporters about Ruth Bader Ginsburg’s death