Wasn’t the auto bailout when they handed out $13.4 billion to the auto industries signed by Bush Jr and went in effect in 2009?