White House statement on Robin Williams: Did Obama write it personally?