People should mourn him as much as the president does