Stronghold without End Portal

I was playing survival with my friend. We found a stronghold, but we couldn't see any end portal there. I made a cretive copy of the world and started exploding everything to find that portal.
But the portal room was overwritten by the cave nearby. These things don't happen on Java Edition, so I think it's a bug...

(Btw, is there any way I can find another stronghold? Every time I use Eyes of Ender, it points to the same weird place.)