I have seen mention of teal, navy and marine. Are they all the same color or different? Thanks for helping with my confusion!