sen john hoffman