Big U.S. investors use summer sell-off to ramp up bets

The summer sell-off is finally here - and not all U.S. investors are rattled by it.