post-hole digger

(noun) posthole digger

shovel (generic term)