Nether portal related sound events are referred to generically as "portal"

They should be called block.nether_portal.xxx instead of block.portal.xxx

Since the nether portal block's name ID was minecraft:portal before 1.13 corrected it to minecraft:nether_portal I assume this is just a leftover, and should be a quite easy fix.