Head of US Patent Office Michelle Lee will remain under President Trump | Patexia