Are charlie sheens kids last names really sheen?

because thats just his stage name so it would be weird if it was. it should be esteves because that is his legal last name. idk. im just curious