Did his parents give him such a name at birth, or was it an epithet that stuck to him later?
Apakah orang tuanya yang menamainya demikian ketika ia lahir, atau apakah itu adalah julukan yang belakangan diberikan orang kepadanya?