posthole digger

(noun) post-hole digger

shovel (generic term)