What king ruled Persia in 520 BC?