Proof here (scroll down).
BTW, I happened to be on Alabama's gulf coast the last couple of days (just east of Pensacola). What a beautiful place! I fear for what the oil will do to it. This was one of the most pristine beaches with the loveliest swimming water that I have ever experienced.