Obama laments death of Gabriel Garcia Marquez