ポルコス

ポルキュスの別名。