Ocean Monument can generate intersecting with Stronghold, replacing end portal frames

@unknown, your report only describes this as an ocean monument overwriting a stronghold, but MC-133903 says that an ocean monument can overwrite parts of any structure. I know reports are usually not considered duplicates of reports that were reported later, and I am unsure whether this issue should be resolved to MC-133903 or this ticket. The mods will probably figure it out (although you are a mod yourself, so you could also make the decision).

Anyway, can confirm for 1.13.

Thanks for pointing that out, I resolved this report as duplicate now.