On 14/04/2018 15:07, David wrote:

My (possibly wrong) starting assumption was that the hole was too big for
any of my drill bits.

Ooh no you can't do it with a drill bit. You must use a step drill. Buy
two, one with odd numbers of mm, the other with even numbers.

Bill