How many of those CEOs did Nazi salute at a US president's inauguration?