My spouse gets a government pension (he is 73 and retired). How do I calculate his RMD?