The Trump administration made it easier to export the AR-15