is rand paul named after ayn rand just out of curiosity