if 5 men dig a pond in 8 days how long would 16 men take to dig it