Minecraft wiki entry for Nether_portal, associated text: The sound event and translation string still refers to this generically as "portal", despite the block being renamed to "nether_portal" in 1.13; see also the bug tracker ticket on this