Id ant help 2 types

[henry13245]

Size: 4mm
When: Jul 30
Where: key largo
Appearance: red head and thorax with a black gaster
Behaviour: went to water and has stayed back there
Picture(s): https://imgur.com/a/XS9GS2o


Size: 6mm
When: Jul 30
Where: key largo
Appearance: brown overall but on the abdomen there is some yellow especially on Botton
Behaviour: went to water and has stayed back there
Picture(s): https://imgur.com/a/XS9GS2o

[SYUTEO]

The first one is either Crematogaster or Pheidole. The second is probably Brachymyrmex or Lasius.