The Hanf number of stationary logic