In case you ever wondered, here is the “Miami Marlins” Trademark record