Former US president dies