Der frühere US-Vizepräsident (unter George W. Bush) Dick Cheney ist tot.