Does the Help America Vote Act of 2002 (HAVA) Mandate Voter Verified Paper Audit Trails?