Which way did Ron Paul vote on this?