Larry King: Former CNN presenter dies at 87