กองทัพเรือสาธารณรัฐสิงคโปร์