I don't think the Trump administration would have been any less keen to bomb Libya.