ron paul sides with bin laden