I was playing Minecraft and I got annoyed that I couldn't find the portal room. The portal room wasn't even connected to the rest of the stronghold. I don't know if this is common.
The seed is -4472986590281876875 and the coordinates are 3196 -14 3543.
by fireflyRDDT