FBI agents were looking for classified records during raid of Mar-a-Lago