How much did Churchill really drink?