In what year did Bob Graham become Senator of Florida