Hi! if the output of show environment fan command isn't showing you anything abnormal (thus all ready) and Fan LED status are Green then those speeds - despite quite high if compared to what we could be normally used to - could be reasonable or "by design" for normal operating condition in a correctly cooled datacenter [*] Did you eventually check if - maybe - there is anything related to Fan Modules on Aruba CX 10.13.1090 for Aruba CX 10000?
Edit: to be honest I checked on Aruba CX 8360 with Fans reporting "slow" speed and the RPMs are about 6.6k/7k (downstream/upstream)...so maybe Aruba CX 10000 uses quite different Fan Units or the environment it is running on is warmer (and so Fans need to push more to cool)...could it be?
[*] I wrote that looking at technical data of a Fan Module I know - made of an upstream fan tied in series to a downstream fan, so two fans coupled in a single Fan unit Port-to-Power (the reverse in case of Power-to-Port) - of a similar Aruba CX 8360 switch...I then see 20k/23k RPMs on normal operation with che upstream fan pushing 3k RPMs more than the downstream one...so, comparing with your values, if Aruba CX 100000 Fans Units are similar to ones used by Aruba CX 8360 then they are not running exactly at their maximum possible RPMs (18/20k vs 20/23k RPMs). Something like this.