White House shooting: US President thanks law enforcement after gunman shot dead