In Memoriam: Former Mint Director Mary Brooks