Documents on the Persian Gulf's name