Change pool size to 20

This morning the server was down owing to connection failures to mongo.

We suspect a network issue, possibly exacerbated by having a large connection pool size. Shrinking it to 10 seemed to fix the problem so we're
going to try 20.