Was Constellation cancellation an Obama mistake?