해군의 함제명칭은 어떻게 제정되는가?