The peak at 40.4132, -111.6565 is labeled "Forgotten Peak" in the following book:
https://www.amazon.com/Climbing-Explori ... 0944510000
The book also calls the bump at 40.3687, -111.5947 Arrowhead Peak, which is what Sundance ski resort calls it on their maps. It isn't that much of a peak though.
Older maps and sources label the following peak as Elk Point:
https://listsofjohn.com/peak/18240
The new USGS map labels Elk Point as a little father east, but I believe this to be in error considering local usage and older maps/sources. The book above labels this peak as East Peak, another possible name.