A primeira mulher chefe do MI5 morreu em 3 de agosto, aos 90 anos