An old military shovel