Denmark to make largest-ever arms purchase, at over $9.1B