Did Manfred Issue The Right Punishment To Astros?