“In 135 AD, the Greek “Syria Palaestina” [a] was used in naming a new Roman province from the merger of Roman Syria and Roman Judaea after the Roman authorities crushed the Bar Kokhba Revolt...
...Around the year 390, during the Byzantine period, the imperial province of Syria Palaestina was reorganized into Palaestina Prima, Palaestina Secunda[21] and Palaestina Salutaris.[21]”
https://en.wikipedia.org/wiki/Timeline_of_the_name_%22Palestine%22
That’s great, but has nothing to do with my post.