Портал генерируется рандомно относительно "ядра генерации". Именно его локальные координаты всегда одинаковы – 4/4 (но лучше копаться в соседнем блоке, иначе упадёшь мимо лестницы, прямо вглубь). А вот сам портал уже генерируется в нескольких пролётах от базовой лестницы.
Кстати, саму крепость можно найти по методу параллакса при помощи двух бросков ока эндера. Можно избежать сложных вычислений и воспользоваться этим сайтом:
https://www.skrepkaq.ru/stronghold
?