President Obama mourns 'extraordinary leader'