did Lucius Tarquinius Superbus (IE the conical last king of Rome, "Tarquin the proud") & Lucius Junius Brutus (IE the man supposed to have overthrown Tarquin) really exist?