I found a stronghold, searched for more than an hour, but I CANNOT FIND THE END PORTAL!

In minecraft I use eyes of ender to locate a stronghold, but when I got there, there where only useless rooms and caves where cutting through it making it difficult to navigate, and me and someone else both searched for more than an hour but could not find the end portal. I threw eyes of ender inside the stronghold to try to find the portal room but that did not work. I am running out of eyes of ender, inventory space, and weapons. I managed to get more stone pickaxes by finding the library and wrecking the walls and using cobblestone I already have. I am playing in a server where ANY cheating is untolerated, so spectator or getting the world seed is not a choice. I did find some weird rooms that you have to wreck blocks to get in. I am running out of options.

How should I proceed?

Strongholds don't necessarily have a end portal.

Here are some quotes about it:

There's usually 3 strongholds per world and they don't all necessarily all have a portal
_{^{- Stronghold without end portal - Minecraft Forums}}

After doing some more digging i found out that Java doesn't always have portals and Bedrock occasionally produces strongholds without portals:

There doesn't appear to be a portal at this stronghold. Although Java always has portals, Bedrock occasionally produces strongholds without portals.
_{^{- Strongholds with no end portals - Reddit}}

Sometimes strongholds get cut off by other underground structures (eg. ravines, mineshafts, etc.) there will be a stronghold, but sometimes, rarely, it won't even contain one room (eg. library, jail cells, etc.) the chances are really rare but its possible. the stronghold is basically useless. period.