Получается для пользователей в локальной сети должен
ОДНОВРЕМЕННО существовать
portal.ru с локальным адресом и
portal.ru с внешним адресом.
Такое просто невозможно.
Меняйте локольное DNS имя например на portal.loc.
Или используйте локальный IP-адрес вместо portal.ru.
Или на основном сайте храните в куках, какой вариант сайта сейчас показывать, но это уже дыра в безопасности.