Armada de la República de Singapur