North Atlantic Ocean freshening could weaken Gulf Stream