Hamilton/Mercedes absolutely made the correct decision to retire from the race. It would have been pointless and stupid to continue, particularly considering his engine deficit.