7 آذر روز نیروی دریایی؛ دلیل نامگذاری این روز و پیامک های تبریک