Western Wall metro stop to be named for Trump: Report