Big oil skips Trump’s last-minute Arctic drilling-rights auction