Dom Miguel: Oliveira and Portugal's landmark win revisited