San Jose mayor seeks DoE aid for hometown industry