Pentagon double checked actions of SEALs during bin Laden raid