| March 27, 2025 | Edited by Tom Morris | Add death date and brief bio from Wikidata |
| November 16, 2022 | Created by ImportBot | import new book |
Last edited by Tom Morris
March 27, 2025 | History
| March 27, 2025 | Edited by Tom Morris | Add death date and brief bio from Wikidata |
| November 16, 2022 | Created by ImportBot | import new book |