Is Barack Obama A Tweep?

C'mon now. Did the president really, actually, type in and submit his congratulatory tweet to Michael Phelps? And why no hashtags?