@martijes The old Mariners' logo was a Trident, not a pitchfork.