El nombre del rey varía, llamándose Tarquetio.