Despite shutdown, Trump administration working on Arctic oil leases