(10-ounce) can diced tomatoes with green chilies, such as RO*TEL