Osama bin Laden operation: US Apache helicopters used