Browsing: record executive bob krasnow dies