Global warming and ocean stratification: A potential result of large extraterrestrial impacts